$\vdash$  ($\lambda$$i$,$j$,$z$. $i$ $\geq$ $j$ ) $\in$ $\mathbb{Z}\rightarrow\mathbb{Z}\rightarrow$($\downarrow$True)$\rightarrow\mathbb{P}_{1}$